Modal interactions for spindle, holders, and tools

Algebraic Tools for Modal Logic

Monotone bounded distributive lattice expansions (DLMs) are boundeddistributive lattices augmented by nitary operations that are isotone orantitone in each coordinate. Such algebras encompass most algebras withbounded distributive lattice reducts that arise from logic, and general-ize bounded distributive lattices with operators. We de ne the canonicalextension for DLMs and ...

Timed Modal Speciication | Theory and Tools ?

In this paper we present the theory of Timed Modal Specii-cations (TMS) together with its implementation, the tool Epsilon. TMS and Epsilon are timed extensions of respectively Modal Speciications 7, 9] and the Tav system 6, 4]. Also, the theory of TMS is an extension of real{timed process calculi with the speciic aim of allowing loose or partial speciications. This allows us to deene a notion ...

Timed Modal Specification - Theory and Tools

In this paper we present the theory of Timed Modal Specifications (TMS) together with its implementation, the tool Epsilon. TMS and Epsilon are timed extensions of respectively Modal Specifications [Lar90, LT88] and the Tav system [GLZ89, BLS92]. The theory of TMS is an extension of real–timed process calculi with the specific aim of allowing loose or partial specifications. Looseness of specif...

Tools and Techniques in Modal Logic

Emerging requirements for multi-modal annotation and analysis tools

We review existing capabilities of multi-modal annotation and analysis tools by presenting a survey of seven representative tools, and providing a sample annotation using one system. We discuss emerging requirements including handling electronic ink, eye-gaze tracking, and other time-based considerations. We briefly review aspects of empirically evaluating tool effectiveness and suggest that mu...